Досліджено проблему формалізації концептуальної моделі сутність - зв'язок у контексті розвитку CASE-засобів, які її підтримують, з застосуванням методів, які грунтуються на теоретико-множинній платформі (теорії відношень і решіток). На підставі аналізу моделі сутність - зв'язок уніфіковано поняття її основних елементів. Формалізовано вимогу коректності моделі за слабкими типами зв'язків. Запропоновано поняття коректності ієрархії типів сутності та коректності ієрархії типів всієї моделі. Формалізовано вимогу коректності моделі щодо успадкування. Наведено визначення поняття базових типів обмежень кардинальності для бінарних і багатосторонніх типів зв'язків. Доведено твердження про логічні зв'язки між значеннями базових типів обмежень кардинальності для підходів "дивитися через" та участі. Розроблено розділ математичної теорії моделі сутність - зв'язок, який є необхідною частиною формалізації моделі, на базі якої можна здійснювати її стандартизацію.

  Скачати повний текст